πx∧G#:∧G(∪∨8↓3∨8↓3`H↓#`Hπ3∨8π#∨8
3`H
#`H∪3∨8∪#∨8_@3`H_@#∨??3`O?#`OD@3∨?D@#∨?J@3`OJ@#`OP@3∨?P@#∨?V@3`OV@#cV3cU#c⊂T#c8T#cPU#cP]#d V3d T@#d(V#d(T@#d0V#d0T@#d V#eλU3e_T#e@T#eXU#eXW#e@X@#e_X@#eλY@#eλ[@#e_]#e@]#eX[#f0V3f0T@#f8V#f8T@#f@V#f@T@#f0V#g⊂T3g⊂]#gH]#g`\#g`Y@#gHX@#g⊂X@3g@X@#g`W#g`U#gHT#g⊂T#h_T3h@]#hhT#hXV@3h V@#ipU3iXT#i0T#i_U#i_[@#i0]#iX]#ip[@#j T3j ]#jp]3jpT#jpY3j Y#`O?3`H_@#`π?3`_@#`_@#`π?#`_@#`∂?#`λ_@#`↔?#`⊂_@#`_@3a⊂!@#`π?3a↔6#bx=3c⊂;@#c@;@#cX=#cX?@#c@A#c⊂A#bxB@#bxD@#c⊂F@#c@F@#cXD#d(;@3dX;@#d@;@3d@F@#d(F@3dXF@#e0;@3e0F@#f_;@#f_F@#fP;@3πxfPF@#g0F@#g_A@3fPA@#h8;@3hP>#hPD#h8F@#hF@#ghD#gh>#h;@#h8;@#i⊂;@3i⊂F@#ix;@#ixF@#jH;@3jx;@#j`;@3j`F@#jHF@3jxF@#kP;@3lF@#l0;@#l >@3k`>@#nx>3nλ>#nPF@#nP;@#a8¬3a0ε#a(λ#a(	#a0#aX@#bλ@#b(@#b0
@#b8
#b@λ#b@π#b8¬#b(α@#bλ↓@#ah↓#aP↓#a0↓@#a⊂α@#a∧@#`pπ#`p	@#`x@#a
@#a_⊂#a0∩#ax∃@#b_→#b(≤#b(∨#b  @#bλ #ap≥@#a`≤#aX~@#aX⊗@#a␈}#a␈|@#aw{#ao{#a←z#aOy@#a7y@#a∨z#a∂{#aX∩@3aP→#aP≠#aX≥#a`∨#ax @#bλ!@#b_"#b  @#b(∨#b(≤#b _@#bλ∃@#ap∪#a0∂#aλ#aλ@#aπ#a∧@#a⊂α@#b8¬3b8π#b0λ@#b(
#bλ
@#aX
@#a8
#a0λ#a0π@#a0ε@#b8ε3b0β@#c_∞3c0⊂#c@⊂#cP∞#cH@#c_	@#c_∃@#e⊂3d ⊂#d`↔@#d`∞#e∧@3d ∧@#d`@#d`α@#f⊂λ@3f_λ#f8λ#πxfP	@#fh#f0@#f(∞@3f8∞#fP∞#fh∂@#g⊃#fHε@#g@∪3gX∀@#gX⊃#gp∃@#gp⊂#h⊂∀@#h⊂⊃#h ∪3h '#iH⊂3i`⊃@#i`∞#ix∩@#ix
@#j_⊃@#j_∞#j(⊂3j('#i(
@3hH#hH@#i(∞#i⊂
@3i⊂⊗@#i(∪3hH⊃@#hH∩#i(∪@#hh∃@3hh	@#jx∪3k_∀@#k_⊃#k0∃@#k0⊂#kH∀@#kH⊃#k`∪3k`'#l8
3lP@#lPλ#lp@#lpπ@#mλ@#mλλ#m_
3m_≡#o_@3o ~@#o ↔#o8≠#o8⊗#oX~@#oX↔#oh_@3oh-#qP_@3qh~@#qh↔#rλ≠#rλ⊗#r ~@#r ↔#r0_@3r0-#sλ∃@3s ↔@#s ∀#s8_@#s8∪#sX↔@#sX∀#sh∃@3sh,#t@∪3t`∀@#t`⊃#tx∃@#tx⊂#u⊂∀@#u⊂⊃#u(∪3u(+#v∃@3v_↔@#v_∀#v8_@#v8∪#vP↔@#vP∀#v`∃@3v`*#w8
3wP@#wPλ#wp@#wpπ@#xλ@#xλλ#x_
3x_≡#z≠@3z ≥@#z ~#z8≡#z8→#zP≥@#zP~#z`≠@3z`0#|W?3|P_@#⎇`≠@3}≥@#}~#}_≡#}_→#πx}0≥@#}0~#}@≠@3}@0#␈ _@3␈8~@#␈8↔#␈X≠#␈X⊗#␈p~@#␈p↔#_@3-#↓_∃@3↓0↔@#↓0∀#↓P_@#↓P∪#↓h↔@#↓h∀#↓x∃@3↓x*#αP∪3αh∀@#αh⊃#βλ∃@#βλ⊂#β ∀@#β ⊃#β0∪3β0'#βP≡@3¬ ≡@#∧λ≡@3∧( @#∧(≥#∧@!#∧@≤#∧` @#∧`≥#∧p≡@3∧p3#
8≡@3λ≡@#
p≡@3⊂ @#⊂≥#(!#(≤#H @#H≥#X≡@3X3#x≠@3
_≥@#
_~#
0≡#
0→#
P≥@#
P~#
`≠@3
`2#`→@3_#_@#`~#H⊗3H"@#`∨3≥@#≥@#`∨@# !@3 ∃@#∂_@3∂ ~@#∂ ↔#∂8≠#∂8⊗#∂P~@#∂P↔#∂h_@3∂h0@#∞h⊗@3∞λ∃#∞λ∃@#∞h↔#∞P∪3∞P∨@#∞h≤3∞λ~@#∞λ≠#∞h≤@#∞ ≡@3∞ ∩@#⊂8≠@3⊂X≥@#⊂X~#⊂p≡#⊂p→#⊃λ≥@#⊃λ~#⊃_≠@3⊃_0#∩0≠@3∩H≥@#∩H~#∩`≡#∩`→#∪≥@#∪~#∪⊂≠@3∪⊂0#∪P≤3∪P≠#∪X≤#∪X≠#∪`≤#∪`≠#∪P≤#∃H≡@3↔_≡@#⊗λ≡@3⊗  @#⊗ ≥#⊗8!#⊗8≤#πx⊗X @#⊗X≥#⊗h≡@3⊗h3#↔o?3↔h_@#_@≡@3~⊂≡@#_x≡@3→_ @#→_≥#→0!#→0≤#→H @#→H≥#→X≡@3→X3#h &3kX&#h !3kX!#m_≥3o`+@#r0+@3vX(@#r0'3vX$#x_≥3z`.@#}@.@3β8&#}@*3β8!#X1@3⊃ .@#X-3⊃ *#∪⊂.@3⊗p1@#⊗,@3⊗p-#p_≠@3p_≤@#p ≡#p(∨#p0 #p8 @#p@!#pH!#pP!#pX!#pX!#p`!#ph!#pp @#px @#q∨@#qλ≡@#q⊂≥@#q_≠@#{_≥@3{_≡#{(∨@#{8!#{H"#{X"@#{h##{x##|λ##|_#@#|(#@#|8##|H##|X##|h"@#|x!@#⎇λ @#⎇_∨#⎇(≥@#¬0 @3¬8!@#¬`#@#ελ$@#ε0%@#εP&@#εx'#π '#πH'@#πp'@#λ⊂'@#λ8'#λ`'#	λ&@#	(&#	P%@#	x$@#
 "@#
H @#a∂N3aπN@#`␈O#`wO@#`wR#aπT#a∂T@#a∨U#a7U@#a←U@#a␈T@#b∂S@#b∨R#b'P#b'M#b∂I@#agF@#a7D#aπB#b?M3bOM#b?S3bOS#c∨F3c7G@#cGG@#cWF#cOD@#c∨A@#πxc∨M#eπN3d'N#dgU#dgL#eπB3d'B#dgI@#dg@#fπJ@3f∨L@#f∨I#f?M#f?H#fWL@#fWI#fπJ@3fπ6@#iOM@3igO#igL#i␈P#i␈K#j∨O#j∨L#iOM@3iO6@#l?P@3lWR#lWO#lwS#lwN#m∂R#m∂O#l?P@3l?6@#oπJ@3o'L@#o'I#o?M#o?H#o←L@#o←I#oπJ@3oπ6@#qWV@3qoX#qoT@#r∂Y#r∂T#r'X#r'T@#qWV@3qWB#tGY@3tg[#tgW@#t␈\#t␈W#u↔[#u↔W@#tGY@3tGB#t∨R3t∨\@#sg[#sg[#t∨\@#sga3sgV@#t∨W@#t∨X#sgW#v␈\@3xO\@#w?\@3wW↑#wWZ@#ww←#wwZ#x∂↑#x∂Z@#w?\@3w?B#w∨Z3vGX@#vGY#w∨Z@#wπW3wπc#w∨←@3vG↑#vG↑@#w∨`#v←b3v←V#zπV@3z'X#z'T@#z?Y#z?T#zWX#zWT@#zπV@3zπB#⎇/\@3}␈\@#⎇g←@3}πa#}π]@#}∨b#}∨]#}7a#}7]@#⎇g←@3⎇gK#βW\@3¬'\@#∧∂←@3∧/a#∧/]@#∧Gb#∧G]#∧ga#∧g]@#∧∂←@3∧∂K#πx¬W\@3π'\@#ε↔\@3ε/↑#ε/Z@#εG←#εGZ#εg↑#εgZ@#ε↔\@3ε↔H#¬gU3¬g←@#¬7↑#¬7↑#¬g←@#¬7d3¬7Y@#¬gZ@#¬g[#¬7Z#λ↔Y@3λ7[#λ7W@#λO\#λOW#λo[#λoW@#λ↔Y@3λ↔E#πoR3πo\@#π?[#π?[#πo\@#π?a3π?V@#πoW@#πoX#π?W#	WV@3	wX#	wT@#
∂Y#
∂T#
'X#
'T@#	WV@3	WB#
O\@3'\@#
Ob@3'b@#∂b@3'd#'`@#Ge#G←@#←d#←`@#∂b@3∂N#∩7M@3∩OO#∩OL#∩gP#∩gK#∪πO#∪πL#∩7M@3∩79@#_␈V@3→∨X#→∨T@#→7Y#→7T#→OX#→OT@#_␈V@3_␈B#fπ6@3oπ6@#qWB3zπB#∧∂K3	WB#∧∂O@3	WG#}␈a@3␈πb#␈/d#␈Oe@#␈wf@#∂g#7g@#Wh#wh#↓∨h#↓?h#↓gh#απh#α/g@#αOg#αwf#β↔e#β?c@#β←a@#p03q #q #p0#p0#q #q'␈@#p7␈@#⎇pλ@3}λ#}_λ#}0	@#}H#}⊂@#}λ∞@3}_∞#}0∞#}P∂@#}`⊃#}(ε@#πx␈ 
3␈8@#␈8λ#␈X@#␈Xπ@#␈p@#␈pλ#␈ 
3␈'s#↓_π3↓0λ@#↓0¬#↓P	@#↓P∧@#↓hλ@#↓h¬#↓_π3↓∨s#↓¬3 β# β@#↓¬#`↓@3`
@#↓
@3 λ@# 	#↓
@#8
38@#αP
3αh@#αhλ#βλ@#βλπ@#β @#β λ#αP
3αWs#∧λ↓3∧(α@#∧(#∧@β@#∧G␈#∧`α@#∧`#∧λ↓3∧∂m#λ⊂⊂3λ0⊃@#λ0∞#λH∩@#λH
@#λh⊃@#λh∞#λ⊂⊂3λ↔|#πhλ@3πh∪#π8⊃@#π8⊃@#πh∪#π8↔@3π8
#πh∞#πh∞@#π8
@#λ⊂3 ⊃@# ∞#@∩@#@
@#X⊃@#X∞#λ⊂3∂v#
 
3
8∞@#
8#
P∂@#
P
@#
p∞@#
p#
 
3
'v#x¬@3x⊂#@∞@#@∞@#x⊂#@∀@3@
#x#x@#@
@#∂
3∂ @#∂ λ#∂8@#∂8π@#∂P@#∂Pλ#∂
3∂πv#⊂8
3⊂X∞@#⊂X#⊂p∂@#⊂p
@#⊃λ∞@#⊃λ#⊂8
3⊂?v#∩0↓3∩Hα@#∩H#∩`β@#∩g␈#∪α@#∪#∩0↓3∩7m#∀h∪3∃λ∀@#∃λ⊃#∃ ∃@#∃ ⊂#πx∃8∀@#∃8⊃#∀h∪3∀o␈#_x∪3→_∀@#→_⊃#→0∃@#→0⊂#→H∀@#→H⊃#_x∪3_␈y#~8⊂3~P⊃@#~P∞#~p∩@#~p
@#≠λ⊃@#≠λ∞#~8⊂3~?y#≤8
3≤P∞@#≤P#≤p∂@#≤p
@#≥λ∞@#≥λ#≤8
3≤?y#≤⊂¬@3≤⊂⊂#≠X∞@#≠X∞@#≤⊂⊂#≠X∀@3≠X
#≤⊂#≤⊂@#≠X
@#≥x⊂3≡⊂⊃@#≡⊂∞#≡(∩@#≡(
@#≡H⊃@#≡H∞#≥x⊂3≥␈y#␈'s3αWs#␈'x3αWx#∧∂m3λ∨|#∂v3⊂Gv#∂{3⊂G{#∩7m3∀w␈#_␈y3≥␈y#_␈⎇@3≥␈⎇@#	3	@#	⊂	@#	_λ@#	 π@#	0π#	8ε@#	@ε#	Hε#	Xε#	`ε#	hε#	pε@#
ε@#
λπ#
⊂λ#
 	#
(
#
0#∃X∂3∃`∞@#∃p@#⊗@#⊗_
@#⊗(
#⊗8	@#⊗P	#⊗`	#⊗x	#↔λ	#↔_	#↔0	@#↔@	@#↔X
#↔h
@#↔x@#_⊂
#_ ∂#h &@3kX&@#h "3kX"#m_≡3o`,@#r0,@3vX)@#r0(3vX%#x_≡3z`/@#}@/@3β8&@#}@+3β8"#X2@3⊃ /@#X.3⊃ +#∪⊂/@3⊗p2@#⊗-3↓P¬⊗p.#fπ7@3oπ7@#qWC3zπC#∧∂L3	WC#∧∂P@3	WG@#␈'t3αWt#␈'x@3αWx@#∧∂n3λ∨⎇#∂w3⊂Gw#∂{@3⊂G{@#∩7n3∀p#_␈z3≥␈z#_␈}@3≥␈}@#∧7(λ